WithScopeError.agda:11,11-12
Not in scope:
  y
  at WithScopeError.agda:11,11-12
when scope checking y
